9x9 Rico Alan 2008.txt
Order 3: digits 9; houses 27, cells 81.
Grid.grid1: initial copying
pending={b6, b8, b9, c3, c5, d4, d6, e3, e7, f2, g1, g8, g9, h3, h5, i5, i9}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowb. b4 is 1 by hidden-single.
pending={b4}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowg. g2 is 1 by hidden-single.
pending={g2}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowd. d1 is 1 by hidden-single.
pending={d1}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowf. f6 is 1 by hidden-single.
pending={f6}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowg. g7 is 4 by hidden-single.
pending={g7}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowi. i8 is 1 by hidden-single.
pending={i8}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowa. a9 is 1 by hidden-single.
pending={a9}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.col5. a5 is 5 by hidden-single.
pending={a5}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowc. c2 is 5 by hidden-single.
pending={c2}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowe. e8 is 5 by hidden-single.
pending={e8}
deduce.grid1: naked-singles
- h8 is 6 by naked-single.
pending={h8}
- h9 is 8 by naked-single.
pending={h9}
- h7 is 5 by naked-single.
pending={h7}
- h6 is 9 by naked-single.
pending={h6}
- i7 is 2 by naked-single.
pending={i7}
deduce.grid1: hidden-singles
deduce.grid1.rowf. f3 is 5 by hidden-single.
pending={f3}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowg. g3 is 9 by hidden-single.
pending={g3}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowi. i6 is 5 by hidden-single.
pending={i6}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.col5. b5 is 7 by hidden-single.
pending={b5}
deduce.grid1: naked-singles
- b3 is 6 by naked-single.
pending={b3}
- b7 is 9 by naked-single.
pending={b7}
deduce.grid1: hidden-singles
deduce.grid1.col8. d8 is 9 by hidden-single.
pending={d8}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowd. d9 is 4 by hidden-single.
pending={d9}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowd. d2 is 2 by hidden-single.
pending={d2}
deduce.grid1: naked-singles
- b2 is 4 by naked-single.
pending={b2}
- b1 is 2 by naked-single.
pending={b1}
deduce.grid1: hidden-singles
deduce.grid1.rowa. a8 is 2 by hidden-single.
pending={a8}
deduce.grid1: naked-singles
- f8 is 3 by naked-single.
pending={f8}
- c8 is 4 by naked-single.
pending={c8}
deduce.grid1: hidden-singles
deduce.grid1.rowf. f4 is 4 by hidden-single.
pending={f4}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowa. a6 is 4 by hidden-single.
pending={a6}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowf. f9 is 2 by hidden-single.
pending={f9}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.rowh. h1 is 4 by hidden-single.
pending={h1}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.col5. e5 is 9 by hidden-single.
pending={e5}
deduce.grid1: naked-singles
deduce.grid1: hidden-singles
deduce.grid1.col5. d5 is 3 by hidden-single.
pending={d5}
deduce.grid1: naked-singles
- d3 is 8 by naked-single.
pending={d3}
- d7 is 6 by naked-single.
pending={d7}
- e9 is 7 by naked-single.
pending={e9}
- c9 is 6 by naked-single.
pending={c9}
- c6 is 8 by naked-single.
pending={c6}
- c4 is 9 by naked-single.
pending={c4}
- a4 is 6 by naked-single.
pending={a4}
- f7 is 8 by naked-single.
pending={f7}
- f5 is 6 by naked-single.
pending={f5}
- e6 is 2 by naked-single.
pending={e6}
- e4 is 8 by naked-single.
pending={e4}
- f1 is 7 by naked-single.
pending={f1}
- c1 is 3 by naked-single.
pending={c1}
- a3 is 7 by naked-single.
pending={a3}
- a2 is 8 by naked-single.
pending={a2}
- a1 is 9 by naked-single.
pending={a1}
- a7 is 3 by naked-single.
pending={a7}
- c7 is 7 by naked-single.
pending={c7}
- e1 is 6 by naked-single.
pending={e1}
- e2 is 3 by naked-single.
pending={e2}
- g4 is 2 by naked-single.
pending={g4}
- g5 is 8 by naked-single.
pending={g5}
- g6 is 6 by naked-single.
pending={g6}
- h2 is 7 by naked-single.
pending={h2}
- h4 is 3 by naked-single.
pending={h4}
- i1 is 8 by naked-single.
pending={i1}
- i2 is 6 by naked-single.
pending={i2}
- i3 is 3 by naked-single.
pending={i3}
- i4 is 7 by naked-single.
pending={i4}
deduce.grid1. Solved.
grid1
|
| 1
| 2
| 3
| 4
| 5
| 6
| 7
| 8
| 9
|
| a
| 9
| 8
| 7
| 6
| 5
| 4
| 3
| 2
| 1
|
| b
| 2
| 4
| 6
| 1
| 7
| 3
| 9
| 8
| 5
|
| c
| 3
| 5
| 1
| 9
| 2
| 8
| 7
| 4
| 6
|
| d
| 1
| 2
| 8
| 5
| 3
| 7
| 6
| 9
| 4
|
| e
| 6
| 3
| 4
| 8
| 9
| 2
| 1
| 5
| 7
|
| f
| 7
| 9
| 5
| 4
| 6
| 1
| 8
| 3
| 2
|
| g
| 5
| 1
| 9
| 2
| 8
| 6
| 4
| 7
| 3
|
| h
| 4
| 7
| 2
| 3
| 1
| 9
| 5
| 6
| 8
|
| i
| 8
| 6
| 3
| 7
| 4
| 5
| 2
| 1
| 9
|
grid1. Copying solution to raw grid.